Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
851	6 Highe r- Or de r F unc t ions An important part of all functional programming languages is the ability to take a function you defined Add to Reading List Source URL: www.nostarch.com Language: English - Date: 2012-12-20 19:02:06 Higher-order functions Subroutines Functional programming Lambda calculus Recursion Anonymous function Map Closure Fold Software engineering Declarative programming Computing
852	A Substructural Type System for Delimited Continuations? Oleg Kiselyov1 and Chung-chieh Shan2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-04-21 02:44:20 Type theory Lambda calculus Proof theory Data types Logic in computer science Simply typed lambda calculus Type system Natural deduction Curry–Howard correspondence Software engineering Theoretical computer science Computing
853	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
854	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
855	Unsafe Order-2 Tree Languages are Context-Sensitive1 Naoki Kobayashi1 , Kazuhiro Inaba2 , and Takeshi Tsukada3 1 3 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2014-06-29 21:29:23 Mathematics Symbol Formal grammar Lambda calculus Combinatory logic Controlled grammar Spectral theory of ordinary differential equations Formal languages Theoretical computer science Applied mathematics
856	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics
857	VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 ( Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2000-01-23 09:46:11 Model theory Combinatory logic Lambda calculus Logic in computer science Symbol Derivative Interpretation State space FO Mathematics Mathematical logic Mathematical analysis
858	Midwest Studies in Philosophy, XXIV[removed]The Termination Thesis FRED FELDMAN 1. HISTORICAL BACKGROUND Add to Reading List Source URL: people.umass.edu Language: English - Date: 2008-12-30 17:46:45 Domain name system Lambda calculus C syntax Computing Country codes Ln
859	Microsoft Word - RML.TOWARDS Add to Reading List Source URL: www.tezeusz.pl Language: English - Date: 2010-10-07 18:00:00 Formal methods Computability theory Lambda calculus Theoretical computer science Function Mereology Modal logic Mathematical logic Mathematics Logic
860	From the introduction to The Combinatory Programme by E. Engeler Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2000-07-25 10:14:32 Lambda calculus Functions and mappings Combinatory logic Abstract algebra Algebraic structures Function Universal algebra Representation theory Outline of algebraic structures Mathematics Mathematical logic Theoretical computer science

UPDATE